xen/arm: dump gic debug info from arch_dump_domain_info
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Mon, 18 Feb 2013 16:02:28 +0000 (16:02 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Wed, 10 Apr 2013 15:04:48 +0000 (16:04 +0100)
commit0648a3437e9adc2f297f16286b1d58d598c0b865
tree906873aa05296f791150906c5707cde3dac64319
parentbd9be94eb2280e8e662e75f1e5fea7c12eb2589c
xen/arm: dump gic debug info from arch_dump_domain_info

Print some useful GIC debug information when arch_dump_domain_info is
called ('q' debug key).

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/domain.c
xen/arch/arm/gic.c
xen/include/asm-arm/gic.h